
OUP Oxford
An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs
Pagine: 432, Copertina flessibile, OUP Oxford
Show More
OUP Oxford
An Introduction To Proof Theory: Normalization, Cut-Elimination, And Consistency Proofs
Pagine: 432, Copertina flessibile, OUP Oxford